<?php
// We'll be outputting a Serialized PHP Array
header('Content-type: application/json');
echo json_encode($ctx->Return);
?>